منابع مشابه
Calculating Criticalities
We present a novel method for building Abstrips style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. Previous approaches for building Abstrips style abstractions have determined the crit-icality of operator preconditions by reasoning about plans directly. Here, we adopt a...
متن کاملBenchmark Test of JEF-1 Evaluation by Calculating Fast Criticalities
JEF-1 basic evaluation was tested by calculating fast critical experiments using the cross section discrete-ordinates transport code ONEDANT with P3S16 approximation. In each computation a spherical one dimensional model was used, together with a 174 neutron group VITAMIN-E structured JEF-1 based nuclear data library, generated at EIR with NJOY and TRANSX-CTR. It is found that the JEF-1 evaluat...
متن کاملNon-uniformly Expanding Dynamics in Maps with Singularities and Criticalities
We investigate a one-parameter family of interval maps arising in the study of the geometric Lorenz ow for non-classical parameter values. Our conclusion is that for all parameters in a set of positive Lebesgue measure, the map has a positive Lyapunov exponent. Furthermore, this set of parameters has a density point which plays an important dynamic role. The presence of both singular and critic...
متن کاملCalculating Accumulations 1 Calculating Accumulations
The accumulation strategy consists of generalizing a function over an algebraic data structure by inclusion of an extra parameter, an accumulating parameter, for reusing and propagating intermediate results. It is one of the standard optimization techniques taught to functional programmers 13). However , there remain two major diculties in this accumulation strategy. One is to determine where a...
متن کاملUsing Criticalities as a Heuristic for Answer Set Programming
Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1996
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(96)00019-7